ma-interface-inl(X) == ma-interface-compose(x.inl inl x  ;X) 

latex

Definitions	ma-interface-compose(g;X), x.A(x), inl x
FDL editor aliases	ma-interface-inl